Category:意味論 (論理学)

Declarative knowledge

Recursive definition

Domain of discourse

Tautology (logic)

Mereology

Semantics

Game semantics

Circular definition

Sense and reference

Truth table

Intension

Brain in a vat